<!doctype html>
<html>
<head>
<title>Awesocompletion</title>
</head>
<body>
<form><input type="text" name="s" size="40" style="font-family: Courier New"
<?php 
$g = isset($_GET['s']) && strlen($_GET['s']) > 0;
if ($g) {
    echo ' value="'.htmlentities($_GET['s']).'"';
}
?>
><br/>
<button style="font-size: 20px">Complete</button></form>
<?php
if ($g) {
    echo "<pre>\n";
    $s = $_GET['s'];
    $ch = file_get_contents("http://94.19.48.125:8089/?s=".urlencode($s));
    echo htmlspecialchars($ch);
    echo "</pre>\n";
}
?>
</body>
</html>

